A Featherweight Model for Chorded Languages
نویسندگان
چکیده
Chords are a concurrency mechanism of object-oriented languages inspired by the join of the Join-Calculus. We present SCHOOL, the Small Chorded Object-Oriented Language, a featherweight model which aims to capture the essence of the concurrent behaviours of chords. Our model serves as a generalisation of chorded behaviours found in existing experimental languages such as Polyphonic C. Furthermore, we study the interaction of chords with fields by extending SCHOOL to include fields, resulting in f SCHOOL. Fields are orthogonal to chords in terms of concurrent behaviours. We show that adding fields to SCHOOL does not change its expressiveness by means of an encoding between the two languages.
منابع مشابه
On The Design of Chorded Languages
Chords are a concurrency mechanism of object-oriented languages inspired by the join of the Join Calculus. They represent the combination of objectbased program structuring and the chemical metaphor for concurrency. Several modern languages feature chords, among which are Polyphonic C and Cω. Their proponents say that their use will raise the level of abstraction concurrent programs are written...
متن کاملFeatherweight Generic Ownership
Object ownership is an approach to controlling aliasing in programming languages. Proposals for adding ownership to programming languages do not directly support type genericity. We present Featherweight Generic Ownership — the first system to unify ownership and type polymorphism. Our type system extends Featherweight Generic Java with locations to support ownership and confinement invariants,...
متن کاملFairness for Chorded Languages
Joins or chords is a concurrency construct that seems to fit well with the object oriented paradigm. Chorded languages are presented with implicit assumptions regarding the fair treatment of processes by the scheduler. We define weak and strong fairness for the Small Chorded Object-Oriented Language (SCHOOL) which allows the classification of executions as fair. We investigate the liveness beha...
متن کاملFeatherweight Java A Minimal Core Calculus for Java and GJ
Several recent studies have introduced lightweight ver sions of Java reduced languages in which complex fea tures like threads and re ection are dropped to enable rigorous arguments about key properties such as type safety We carry this process a step further omitting almost all features of the full language including inter faces and even assignment to obtain a small calculus Featherweight Java...
متن کاملFeatherweight TeX and Parser Correctness
TEX (and its LTEX incarnation) is a widely used document preparation system for technical and scientific documents. At the same time, TEX is also an unusual programming language with a quite powerful macro system. Despite the wide range of TEX users (especially in the scientific community), and despite a widely perceived considerable level of “pain” in using TEX, there is almost no research on ...
متن کامل